J Glob Optim:327–345 DOIs10898A scaling algorithm for polynomial constraint satisfaction problems Ferenc Domes · Arnold Neumaier

Source URL: solon.cma.univie.ac.at

TMRF e-Book Advanced Knowledge Based Systems: Model, Applications & Research (Eds. Sajja & Akerkar), Vol. 1, pp 29 – 49, 2010 Chapter 3

Source URL: www.tmrfindia.org

• Constraint programming
• Mathematical optimization
• Dating
• Marriage
• Matchmaking
• Constraint satisfaction
• Constrained optimization
• Constraint
• Frame language
• Cognitive science
• Knowledge
• Systems engineering

Locally Finite Constraint Satisfaction Problems Bartek Klin∗ , Eryk Kopczy´nski† , Joanna Ochremiak∗ , Szymon Toru´nczyk∗ University of Warsaw Email: {klin,erykk,ochremiak,szymtor}@mimuw.edu.pl Abstract—Firs

Source URL: www.mimuw.edu.pl

Semantic Web-based Group Formation for E-learning Asma Ounnas School of Electronics and Computer Science University of Southampton, UK

Source URL: people.csail.mit.edu

• Knowledge engineering
• Semantic Web
• Knowledge representation
• Technical communication
• Information science
• Constraint satisfaction
• Ontology
• Web Ontology Language
• Frame language
• Upper ontology

Fifth Competition of Pseudo-Boolean Solvers (PB’10) Call for Solvers and Benchmarks http://www.cril.univ-artois.fr/PB10/ G OAL Like the previous competitions (PB05, PB06, PB07 and PB09), the goal is to assess the state

Source URL: www.cril.univ-artois.fr

• Logic in computer science
• Combinatorial optimization
• Operations research
• Numerical software
• Maximum satisfiability problem
• Constraint satisfaction
• Mathematical optimization
• Solver
• Satisfiability
• Integer programming
• Constraint
• Boolean satisfiability problem

A Constraint Language for Static Semantic Analysis Based on Scope Graphs Hendrik van Antwerpen Pierre Néron

Source URL: web.cecs.pdx.edu

• Constraint programming
• Scope
• Name resolution
• Constraint satisfaction
• ALGOL 68
• Declaration
• Constraint graph

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy

Source URL: dream.inf.ed.ac.uk

• Logic programming
• Constraint programming
• Logical consequence
• Statements
• Theorem
• Unification
• Lambda calculus
• Constraint logic programming
• Constraint satisfaction

Checks and Balances - Constraint Solving without Surprises in Object-Constraint Programming Languages Tim Felgentreff, Todd Millstein, Alan Borning and Robert Hirschfeld

Source URL: www.vpri.org

• Constraint programming
• Constraint satisfaction
• Constraint logic programming
• Constrained optimization
• Kaleidoscope
• Decomposition method
• Hidden transformation

Locally Consistent Constraint Satisfaction Problems Manuel Bodirsky∗ Daniel Kr´al’†

Source URL: iti.mff.cuni.cz

On the Optimality of Semidefinite Relaxations for Average-Case and Generalized Constraint Satisfaction Boaz Barak∗ Guy Kindler†

Source URL: www.boazbarak.org